Header:

The header avoids reloading and defines ||: